Real triangle inequality